翻訳と辞書 Words near each other ・ Sigma I-65 war game ・ Sigma I-66 war game ・ Sigma I-67 and II-67 war games ・ Sigma II-64 war game ・ Sigma II-65 war game ・ Sigma II-66 war game ・ Sigma International English School ・ Sigma Iota ・ Sigma Iota Alpha ・ Sigma Iota Epsilon ・ Sigma Iota Rho ・ Sigma Islands ・ Sigma Kappa ・ Sigma Kappa Delta ・ Sigma Kappa Upsilon Mu ・ Sigma knowledge engineering environment ・ Sigma Lambda Alpha ・ Sigma Lambda Alpha honor society ・ Sigma Lambda Alpha Sorority ・ Sigma Lambda Beta ・ Sigma Lambda Chi ・ Sigma Lambda Gamma ・ Sigma Lambda Upsilon ・ Sigma Leonis ・ Sigma level ・ Sigma Librae ・ Sigma Lupi ・ Sigma model ・ Sigma Motor Corporation ・ Sigma Motors Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Sigma knowledge engineering environment ： ウィキペディア英語版 Sigma knowledge engineering environment In the computer science fields of knowledge engineering and ontology, the Sigma knowledge engineering environment is an open source computer program for the development of formal ontologies. It is designed for use with the Suggested Upper Merged Ontology. It originally included only the Vampire theorem prover as its core deductive inference engine, but now allows use of many other provers that have participated in the (TPTP/CADE ) competitions. ==References== *(Sigma web site ) * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Sigma knowledge engineering environment」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.